fix(coordination,#19922): post_dossier -- porte de re-stamp de domaine pour un DEEP sur READY secretariat - #19964

Grain: MED/guard -- lane myia-ai-01:CoursIA-2 -- prev: MED/coordination #19945

Summary

Le correctif attendu par #19922 : post_dossier.py refusait le dossier de domaine qu'exige la garde merge pour un Grain: DEEP, parce que l'anti-double-stamp interdit tout re-stamp tier sur un rc 0 (READY) intact. Deux gardes se contredisaient : la garde merge refuse un DEEP dont le dossier vient du secretariat (#19612), et le poster refusait le dossier de domaine qualifiant qui devait le remplacer. Mesuré sur #19801 et #19838.

La porte ouverte est étroite et conditionnelle — le re-stamp d'une lane qualifiée sur un rc 0 reste refusé par défaut, SAUF si les trois conditions de l'issue sont réunies :

1. la PR porte Grain: DEEP (lu via grain_tag.parse_grain_tag, la grammaire unique variation-tag-guard: le tag en forme de titre ## Grain est illisible par l'organe (38% des merges non attribués) #9485) ;
2. le dossier intact qui tient le gate vient du secretariat (SECRETARIAT_LANES = {"myia-po-2026:CoursIA-3"}) ;
3. le nouveau dossier porte supersedes + supersedes-why non vides — la refutation explicite exigée du rc 3 (fix(coordination): post_dossier refuse de refuter un dossier BLOCKED pose par une lane a l'arret #19420), le gate juge ensuite la refutation comme pour toute contradiction muette (check_adjoint_prevalidation : un dossier qui contredit un dossier precedent doit le nommer (invariant C de #17020) #18934).

Fichiers

• scripts/coordination/post_dossier.py : constante SECRETARIAT_LANES, helper grain_tier_of(), le fetch du body de PR regroupé avec headRefOid (un seul appel pr view), la branche elif de la porte dans l'anti-double-stamp, docstring point 6 mis à jour.
• scripts/tests/test_post_dossier.py : GhRouter étendu (pr_body), et les contrôles positif/négatifs ci-dessous.

Contrôles (exigés par l'issue)

• Positif — rejeu causal du refus Fix(qc,#19744): aligne la prose QC-Py-19 sur la sortie reexecutee (cellules 36 et 40) #19801 (test_rc0_secretariat_deep_with_supersedes_posts_through) : gate rc 0, dossier intact du secretariat, PR Grain: DEEP, supersedes + supersedes-why renseignés → le refus tombe, le POST part, sortie au rc du gate rejoué.
• Négatif MED (test_rc0_secretariat_med_with_supersedes_refused) : même configuration mais PR Grain: MED → refus conservé (la porte est réservée au DEEP).
• Négatif sans refutation (test_rc0_secretariat_deep_without_supersedes_refused) : DEEP sur dossier secretariat mais sans supersedes/supersedes-why → refus conservé.
• Le contrôle négatif préexistant test_double_stamp_rc0_with_supersedes_refused (rc 0, lane NON-secretariat, supersedes renseignés) reste rouge : pas de guerre de dossiers hors la porte.

Preuve d'exécution

python -m pytest scripts/tests/test_post_dossier.py -q
20 passed in 0.39s

Suite intégrale du module (les contrôles préexistants inchangés passent : ligne 1 parasite, REPLACE_WITH, tête périmée, rc 3 avec/sans supersedes, PAYLOAD-TRAP, chemins nominaux PR/issue). py_compile OK sur les fichiers modifiés.

Non-applicabilités assumées

• Familles closure (--issue) : la porte ne s'applique qu'à la famille PR (le contrat secretariat/DEEP est une affaire de dossier ADJOINT) — la branche exige family is ADJOINT.
• Aucun changement côté merge_ready.py ni check_adjoint_prevalidation.py : la garde merge (refus DEEP-secretariat) reste telle quelle, c'est le poster qui cesse de contredire.

See #19922

🤖 Generated with Claude Code